---

bounded universal quantifier

英 [ˈbaʊndɪd ˌjuːnɪˈvɜːsl ˈkwɒntɪfaɪə(r)] 美 [ˈbaʊndɪd ˌjuːnɪˈvɜːrsl ˈkwɑːntɪfaɪər]

网络  有界全称量词

计算机

---

---